declaratory judgement proceeding